rcv($l$,${\it tg}$) declared in $M$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$rcv($l$,${\it tg}$) $\in$ dom(($M$.2).1)